Relative Singularity Categories and Gorenstein-projective Modules
نویسندگان
چکیده
We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory ω of an abelian category. We introduce the Frobenius category of ω-Cohen-Macaulay objects, and under some reasonable conditions, we show that the stable category of ω-Cohen-Macaulay objects is triangle-equivalent to the relative singularity category. As applications, we relate the stable category of (unnecessarily finitely-generated) Gorenstein-projective modules with singularity categories of rings. We prove that for a Gorenstein ring, the stable category of Gorenstein-projective modules is compactly generated and its compact objects coincide with finitely-generated Gorenstein-projective modules up to direct summands.
منابع مشابه
A Brief Introduction to Gorenstein Projective Modules
Since Eilenberg and Moore [EM], the relative homological algebra, especially the Gorenstein homological algebra ([EJ2]), has been developed to an advanced level. The analogues for the basic notion, such as projective, injective, flat, and free modules, are respectively the Gorenstein projective, the Gorenstein injective, the Gorenstein flat, and the strongly Gorenstein projective modules. One c...
متن کاملRelative (co)homology of $F$-Gorenstein modules
We investigate the relative cohomology and relative homology theories of $F$-Gorenstein modules, consider the relations between classical and $F$-Gorenstein (co)homology theories.
متن کاملMini-Workshop on Gorenstein Homological Algebra
We will introduce the notion of Gorenstein category as the convenient setup for doing Gorenstein Homological Algebra in categories of sheaves, or in general in categories without enough projective objects. We will illustrate this notion by showing that the category of Qcoh(X) of quasi-coherent sheaves on a locally Gorenstein projective scheme fits into this setup. Then we will focus on the cate...
متن کاملHomotopy Categories, Leavitt Path Algebras, and Gorenstein Projective Modules
For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite-dimensional algebra with radical square zero is triangle equivalent to the derived category of the Leavitt path algebra viewed as a differential graded algebra with trivial differential, which is further triangle equivalent to the stable categ...
متن کاملGorenstein projective objects in Abelian categories
Let $mathcal {A}$ be an abelian category with enough projective objects and $mathcal {X}$ be a full subcategory of $mathcal {A}$. We define Gorenstein projective objects with respect to $mathcal {X}$ and $mathcal{Y}_{mathcal{X}}$, respectively, where $mathcal{Y}_{mathcal{X}}$=${ Yin Ch(mathcal {A})| Y$ is acyclic and $Z_{n}Yinmathcal{X}}$. We point out that under certain hypotheses, these two G...
متن کامل